منابع مشابه
Correction to Abstract Class Formations by K. Grant and G. Whaples
1. A. Borel and Harish-Chandra, Arithmetic subgroups of algebraic groups, Bull. Amer. Math. Soc. 67 (1961), 579-583. 2. , Arithmetic subgroups of algebraic groups, Ann. of Math. (2) 75 (1962), 485-535. 3. Harish-Chandra, On the characters of a semisimple Lie group, Bull. Amer. Math. Soc. 61 (1955), 389-396. 4. , Differential operators on a semisimple Lie algebra, Amer. J. Math. 79 (1957), 87-12...
متن کاملGeneralized class formations and higher class field theory
Kato established higher local reciprocity map (see section 5 and [K1, Th. 2 of §6] (two-dimensional case), [K2, Th. II], [K3, §4]) using in particular this theorem. In this section we deduce the reciprocity map for higher local fields from this theorem and Bloch–Kato’s theorem of section 4. Our approach which uses generalized class formations simplifies Kato’s original argument. We use the nota...
متن کاملThe Abstract Class Pattern
CLASS Class Behavioral Intent Define the interface for a hierarchy of classes while deferring the implementation to subclasses. Abstract Class lets subclasses redefine the implementation of an interface while preserving the polymorphism of those classes. Also Known As Liskov Substitution Principle [LW93], Design by Contract [Meyer91], Base Class [Auer95] , Template Class [Woolf97] Motivation Co...
متن کاملAbstract correction of first-order functional programs
Correction of First-Order Functional Programs M. Alpuente a D. Ballis b S. Escobar a M. Falaschi b S. Lucas a a DSIC, Universidad Politécnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain. Email: {alpuente,sescobar,slucas}@dsic.upv.es. b Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy. Email: {demis,falaschi}@dimi.uniud.it.
متن کاملSemantic Class Hierarchies by Abstract Interpretation
A generic semantic-based framework is presented for the definition and manipulation of class hierarchies for object-oriented languages. The framework is based on the notion of observable of a class, i.e. an abstraction of its semantics when focussing on a behavioral property of interest. By exploiting such a notion, we define the semantic subclass relation, capturing the fact that a subclass pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1963
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1963-10892-7